Atrial fibrillation ablation by pulmonary vein isolation